An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc

Source URL: www.cplire.ru

• Logic programming
• Prolog
• Oz
• Logic
• Actor model
• Programming language
• First-order logic
• Indeterminacy in concurrent computation
• Logtalk
• Software engineering
• Computing
• Computer programming

Microsoft Word - DDEOM01.doc

Source URL: www.andreaforte.net

• Information and communication technologies in education
• Science education
• Educational technology
• Education
• Technology
• Computing
• Carnegie Mellon School of Computer Science
• Mark Guzdial
• Computation
• Computer science

Name: Sebastian Link August 2, 2010 Publications Completed Degrees

Source URL: slink.foiks.org

• Knowledge
• Lecture Notes in Computer Science
• Systems theory
• International Standard Serial Number
• Information
• Bernhard Thalheim
• Science
• Workshop on Logic
• Language
• Information and Computation
• Dependency theory

Human-powered Sorts and Joins Adam Marcus Eugene Wu David Karger Samuel Madden Robert Miller MIT CSAIL {marcua,sirrice,karger,madden,rcm}@csail.mit.edu ABSTRACT

Source URL: groups.csail.mit.edu

• Amazon Mechanical Turk
• Crowdsourcing
• Human-based computation
• Social information processing
• Web 2.0
• Electronics
• Join
• Query optimizer
• Cardinal number
• Database management systems
• Data management
• Computing

i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — [removed] — page 331 — le-tex

Source URL: www.wiley-vch.de

• Quantum mechanics
• Quantum computer
• Controlled NOT gate
• Qubit
• Loss–DiVincenzo quantum computer
• Quantum key distribution
• Ancilla
• Photon
• Quantum teleportation
• Quantum information science
• Theoretical computer science
• Physics

i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — [removed] — page IX — le-tex

Source URL: www.wiley-vch.de

• Applied mathematics
• Quantum computer
• Qubit
• Quantum error correction
• Quantum algorithm
• Quantum gate
• Quantum teleportation
• Controlled NOT gate
• Quantum dot
• Quantum information science
• Theoretical computer science
• Quantum mechanics

High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets Kai Christian Bader

Source URL: mediatum.ub.tum.de

• Cryptography
• Application programming interfaces
• Parallel computing
• Algorithm
• Mathematical logic
• Theoretical computer science
• Thesis
• Digital signature
• Cassis
• Information science
• Knowledge
• Computing

TAGATUNE: A GAME FOR MUSIC AND SOUND ANNOTATION Edith L. M. Law, Luis von Ahn, Roger B. Dannenberg, Mike Crawford Carnegie Mellon University School of Computer Science ABSTRACT Annotations of audio files can be used to s

Source URL: www.cs.cmu.edu

• Human-based computation
• Sound
• Information science
• CAPTCHA
• Auditory perception
• Design
• Music information retrieval
• Psychoacoustics
• ESP game
• Science
• Hearing
• Acoustics

Using Games to Create Language Resources: Successes and Limitations of the Approach Chamberlain, J., Fort, K., Kruschwitz, U., Lafourcade, M. and Poesio, M. Abstract One of the more novel approaches to collaboratively cr

Source URL: www.jonchamberlain.com

• Social information processing
• Science
• Linguistics
• Data collection
• Human-based computation game
• Crowdsourcing
• ESP game
• Natural language processing
• Page Hunt
• Human-based computation
• Collective intelligence
• Computational linguistics

Symposium on Physical Realizations of Quantum Information Processing and Quantum Computation

Source URL: alice.math.kindai.ac.jp